https://bryant.cs-manual.com/d-bs2-1.html